https://github.com/gebner/m17n-lean

System-wide Lean input method
https://github.com/gebner/m17n-lean

fcitx ibus input-method lean m17n unicode

Last synced: 3 months ago
JSON representation

System-wide Lean input method

• Host: GitHub
• URL: https://github.com/gebner/m17n-lean
• Owner: gebner
• Created: 2018-08-04T15:35:47.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2022-02-16T13:31:50.000Z (over 2 years ago)
• Last Synced: 2024-07-19T01:06:57.614Z (4 months ago)
• Topics: fcitx, ibus, input-method, lean, m17n, unicode
• Language: Python
• Size: 118 KB
• Stars: 12
• Watchers: 3
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
System-wide Lean input method

=============================

This repository contains an MIM file for m17n to convert [Lean](https://leanprover.github.io/)-style abbreviations such as `\nat` to `ℕ` in *all* applications.

First you need an input method framework such as [fcitx](https://wiki.archlinux.org/index.php/Fcitx) (with the fcitx-m17n plugin) or [ibus](https://wiki.archlinux.org/index.php/IBus).  Then you only need to install the MIM file, and enable the new input method:

```shell

install -Dm0644 lean.mim ~/.m17n.d/lean.mim

```

Or alternatively:

```shell

mkdir -p ~/.m17n.d

curl https://raw.githubusercontent.com/gebner/m17n-lean/master/lean.mim >~/.m17n.d/lean.mim

```