Emin Arslan haxala1r
1 Followers · 1 Following
Repositories
9
 Projects Packages Public Activity Starred Repositories
1
haxala1r pushed to compiler at haxala1r/olisp 2026-02-04 19:55:12 +00:00
7cdd4ee759 updated the design document
a250d96c63 core_ast: remove letrec comment
Compare 2 commits »
haxala1r pushed to compiler at haxala1r/olisp 2026-02-02 19:37:14 +00:00
3a3bf2c674 core_ast: removed letrec. we now treat it as let + set.
7402a688c7 compiler: remove unused files
Compare 2 commits »
haxala1r pushed to compiler at haxala1r/olisp 2026-02-02 17:33:34 +00:00
ed4f49311c syntactic_ast: unwrapped the central GADT into several related types.
haxala1r pushed to compiler at haxala1r/olisp 2026-02-02 16:53:30 +00:00
bd907fe69a minor changes
haxala1r pushed to compiler at haxala1r/olisp 2026-01-16 19:34:45 +00:00
d7729571ea core_ast: modify the core ast to use unary functions
haxala1r synced and deleted reference refs/tags/v1.0 at haxala1r/Se302 from mirror 2026-01-16 10:50:37 +00:00
haxala1r pushed to compiler at haxala1r/olisp 2026-01-16 10:15:15 +00:00
6e8e345388 ci: change the debian and fedora workflows to not ask for user input
haxala1r released v1.0 at haxala1r/Se302 2026-01-16 10:01:13 +00:00
haxala1r pushed tag v1.0 to haxala1r/Se302 2026-01-16 10:01:13 +00:00
haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 18:49:38 +00:00
78c2e4c335 ci: move nixos build, rename debian build
haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 18:46:47 +00:00
aeb8e89526 ci: rename the debian workflow, add fedora workflow
haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 18:40:32 +00:00
12b347de38 general: removed containers dependency
haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 18:22:34 +00:00
67bd37eaa2 ci: add menhir to the debian build workflow
haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 09:47:03 +00:00
5b6ed1beb5 ci: fix findlib package name
haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 09:45:23 +00:00
d0f9483aaa ci: fix build.yaml
haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 09:44:00 +00:00
e60b447198 ci: added workflow for building on debian, moved nix build to another file
haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 09:28:31 +00:00
11625c88c6 core_ast: add of_sexpr
haxala1r pushed to compiler at haxala1r/olisp 2026-01-07 17:02:16 +00:00
d41d8e5fbe core_ast: add initial draft for the core ast, and a conversion function from the syntactic ast
haxala1r pushed to compiler at haxala1r/olisp 2026-01-07 17:00:21 +00:00
ec56d76fb3 syntactic_ast: modify the phantom types to have concrete constructors, as the ocaml compiler cannot prove them distinct otherwise
haxala1r pushed to compiler at haxala1r/olisp 2026-01-07 15:18:44 +00:00
be81061895 syntactic_ast: fix issue in set! parsing, add set! to the test case.
e25b6b0b10 syntactic_ast: fix issue in cond parsing
0d731f29b3 syntactic_ast: added a node for set! expressions
Compare 3 commits »