edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-23 20:22:34 +03:00
Code Issues Projects Releases Wiki Activity

Fix README formatting

Browse Source
This commit is contained in:
Edwin Brady 2020-02-23 17:00:53 +00:00
parent f2f07944c6
commit f1db21346e
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -33,9 +33,9 @@ exceptions. The most notable user visible differences, which might cause Idris
Instead, you can define functions locally with `let`, which do have
computational force, as follows:
let x : ?
x = val in
e
let x : ?
x = val in
e
Watch this space for more details and the rationale for the changes, as I
get around to writing it...