fp-il, branch HEADMy bachelor project (unfinished)
00f123d6c5df592b3660fe0e6fb2e80b216b2ca32024-02-01T02:40:54Z2024-04-25T09:56:19Zadded example functionErik Oostingcrazazy@tilde.cafecommit 00f123d6c5df592b3660fe0e6fb2e80b216b2ca3
parent 5ded005cb6dab79c96e84e67ba6f4f7eddda17d6
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Thu, 1 Feb 2024 03:40:54 +0100
added example function
5ded005cb6dab79c96e84e67ba6f4f7eddda17d62024-01-31T17:02:42Z2024-01-31T17:02:42Zmade a proper version of CExp substitutionErik Oostingcrazazy@tilde.cafecommit 5ded005cb6dab79c96e84e67ba6f4f7eddda17d6
parent 07c38414dc9816b56d27a3d86b856ffe23caff11
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Wed, 31 Jan 2024 18:02:42 +0100
made a proper version of CExp substitution
07c38414dc9816b56d27a3d86b856ffe23caff112024-01-16T21:24:18Z2024-01-16T21:24:18Zfinished variable substitutionErik Oostingcrazazy@tilde.cafecommit 07c38414dc9816b56d27a3d86b856ffe23caff11
parent a152771d93f39df22f666592b3de2293437ab904
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Tue, 16 Jan 2024 22:24:18 +0100
finished variable substitution
a152771d93f39df22f666592b3de2293437ab9042024-01-16T20:22:59Z2024-01-16T20:22:59Zadded back 3 hours of workErik Oostingcrazazy@tilde.cafecommit a152771d93f39df22f666592b3de2293437ab904
parent cbc3b5d7ee843d4334580c282371b92de728cb94
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Tue, 16 Jan 2024 21:22:59 +0100
added back 3 hours of work
hopefully this is all correct, I lost it when I forgot to soave
cbc3b5d7ee843d4334580c282371b92de728cb942024-01-12T23:25:54Z2024-01-12T23:25:54Zexample functionErik Oostingcrazazy@tilde.cafecommit cbc3b5d7ee843d4334580c282371b92de728cb94
parent c250027607e5bbe02cd0aa5bf974c101d9d9c419
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Sat, 13 Jan 2024 00:25:54 +0100
example function
c250027607e5bbe02cd0aa5bf974c101d9d9c4192023-12-18T18:22:54Z2023-12-18T18:22:54Ztightened types exportsErik Oostingcrazazy@tilde.cafecommit c250027607e5bbe02cd0aa5bf974c101d9d9c419
parent 03eb5c1228ea9f5997fc19f7075a90cca1d29820
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Mon, 18 Dec 2023 19:22:54 +0100
tightened types exports
03eb5c1228ea9f5997fc19f7075a90cca1d298202023-12-18T17:58:35Z2023-12-18T17:58:35Zadd free variable searchingErik Oostingcrazazy@tilde.cafecommit 03eb5c1228ea9f5997fc19f7075a90cca1d29820
parent daf044b576feb8ee61bb6be18f28985f5e87f4f4
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Mon, 18 Dec 2023 18:58:35 +0100
add free variable searching
daf044b576feb8ee61bb6be18f28985f5e87f4f42023-12-18T13:29:00Z2023-12-18T13:29:00Zadd haskell versionErik Oostingcrazazy@tilde.cafecommit daf044b576feb8ee61bb6be18f28985f5e87f4f4
parent a1be864841356b237cbbee42c163384d69995555
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Mon, 18 Dec 2023 14:29:00 +0100
add haskell version
a1be864841356b237cbbee42c163384d699955552023-12-13T15:56:15Z2023-12-13T15:56:15Zadd more visitor rulesErik Oostingcrazazy@tilde.cafecommit a1be864841356b237cbbee42c163384d69995555
parent 258121cfb53b6b002dd0d2f68b91ce5234011620
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Wed, 13 Dec 2023 16:56:15 +0100
add more visitor rules
258121cfb53b6b002dd0d2f68b91ce52340116202023-12-12T15:24:03Z2023-12-12T15:24:03Zfirst visit method doneErik Oostingcrazazy@tilde.cafecommit 258121cfb53b6b002dd0d2f68b91ce5234011620
parent d9ffc2f3f679bf6e87cf12dc1ed9809badf673da
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Tue, 12 Dec 2023 16:24:03 +0100
first visit method done
d9ffc2f3f679bf6e87cf12dc1ed9809badf673da2023-12-12T14:20:56Z2023-12-12T14:20:56Zstart working on actual visitorErik Oostingcrazazy@tilde.cafecommit d9ffc2f3f679bf6e87cf12dc1ed9809badf673da
parent 60c8f636596de722a91f9dba1f2ae631a61a6484
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Tue, 12 Dec 2023 15:20:56 +0100
start working on actual visitor
60c8f636596de722a91f9dba1f2ae631a61a64842023-12-11T15:11:59Z2023-12-11T15:11:59Zadd more operatorsErik Oostingcrazazy@tilde.cafecommit 60c8f636596de722a91f9dba1f2ae631a61a6484
parent 2824d28a6fd65e0a1f70a1f8b149a198e7e7fa8d
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Mon, 11 Dec 2023 16:11:59 +0100
add more operators
2824d28a6fd65e0a1f70a1f8b149a198e7e7fa8d2023-12-11T15:04:26Z2023-12-11T15:04:26Zadded labels to each ruleErik Oostingcrazazy@tilde.cafecommit 2824d28a6fd65e0a1f70a1f8b149a198e7e7fa8d
parent 0e96e69659c7c31927b7eee5c40d017b035a6471
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Mon, 11 Dec 2023 16:04:26 +0100
added labels to each rule
0e96e69659c7c31927b7eee5c40d017b035a64712023-12-11T14:25:24Z2023-12-11T14:25:24ZInitial commitErik Oostingcrazazy@tilde.cafecommit 0e96e69659c7c31927b7eee5c40d017b035a6471
Author: Erik Oosting <crazazy@tilde.cafe>
Date: Mon, 11 Dec 2023 15:25:24 +0100
Initial commit
Adding grammar