Franciman
0 Followers · 0 Following
  • Joined on 2019-09-20
Repositories
5
 Projects Packages Public Activity Starred Repositories
2
Franciman pushed to master at Franciman/leao 2022-05-25 13:41:49 +02:00
4dffe1d7b4 Implement parser
a57e36e6ea Update readme
Compare 2 commits »
Franciman created branch master in Franciman/leao 2022-05-24 17:09:39 +02:00
Franciman pushed to master at Franciman/leao 2022-05-24 17:09:39 +02:00
5e5dddb3ba Add readme
Franciman created repository Franciman/leao 2022-05-24 17:07:18 +02:00
Franciman pushed to master at Franciman/milly 2022-05-22 13:55:18 +02:00
fe5b73cb7f Ignore executable
Franciman pushed to master at Franciman/milly 2022-05-20 12:54:56 +02:00
418eb24c7a Start writing operational semantics
85de4c7b4e Rename kakoune scripts directory
Compare 2 commits »
Franciman pushed to master at Franciman/milly 2022-05-18 21:23:58 +02:00
839ea58843 Update readme
Franciman pushed to master at Franciman/milly 2022-05-18 15:56:56 +02:00
d3fae1110d Change name
Franciman renamed repository from inf to Franciman/milly 2022-05-18 15:19:58 +02:00
Franciman pushed to master at Franciman/milly 2022-05-18 11:54:48 +02:00
77a0831254 Add new example
430e9ca140 Improve parser errors
Compare 2 commits »
Franciman pushed to master at Franciman/milly 2022-05-18 08:53:58 +02:00
a10f3db4fc Rename project
Franciman renamed repository from milly to Franciman/milly 2022-05-18 08:50:26 +02:00
Franciman pushed to master at Franciman/milly 2022-05-18 00:18:43 +02:00
2911139d96 Fix some parser errors
Franciman created branch master in Franciman/milly 2022-05-17 21:35:01 +02:00
Franciman pushed to master at Franciman/milly 2022-05-17 21:35:01 +02:00
7dac4b66d3 Fix some parser errors
dfbe469fb3 Add an example and the kak script
5073f33c9f First commit, with parser
Franciman created repository Franciman/milly 2022-05-17 21:34:14 +02:00
Franciman pushed to master at Franciman/telescope 2022-04-06 22:10:13 +02:00
f6c861d5a1 Try and Implement delconts
Franciman pushed to master at Franciman/telescope 2022-04-01 14:08:04 +02:00
e22e6dd963 Implement untyped lambda calculus with explicit fix operator
Franciman created repository Franciman/telescope 2022-04-01 10:52:35 +02:00
Franciman transferred repository Franciman/dominioctl to team/dominioctl 2022-03-31 12:33:51 +02:00