Skip to content
Open
Show file tree
Hide file tree
Changes from 31 commits
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
7f21e72
Ordered Map and Ordered Set
MinionJakub Jun 19, 2024
4d6a53a
Update OrderedMap.fram
MinionJakub Jun 20, 2024
c017c3c
Merge branch 'fram-lang:master' into master
MinionJakub Jun 21, 2024
ef1d14f
Implementation of Queues
MinionJakub Jun 21, 2024
8bcd905
Testing files for Map, Set, Queues.
MinionJakub Jun 21, 2024
27ff11e
Update OrderedMap.fram
MinionJakub Jun 21, 2024
dae76bc
Changes to implementation and tests
MinionJakub Aug 14, 2024
e5d206f
Adding missing files
MinionJakub Aug 14, 2024
ce31a6d
Merge branch 'fram-lang:master' into master
MinionJakub Aug 14, 2024
5b3cd88
Correcting a test file
MinionJakub Aug 15, 2024
eb36254
Correcting definitions
MinionJakub Oct 29, 2024
274f324
Changing from [E] in [|E]
MinionJakub Oct 29, 2024
8584322
Correcting style and renaming few things
MinionJakub Nov 20, 2024
9aa2f4a
Merge branch 'fram-lang:master' into master
MinionJakub Nov 28, 2024
7bb419d
Correcting a lot of things mainly coding style
MinionJakub Nov 28, 2024
bb826df
Changing tests and adding assert to prelude
MinionJakub Nov 28, 2024
a3f0b7b
little changes
MinionJakub Nov 30, 2024
c44f26c
Moving things from Ord and adding fromList and toList to Queue
MinionJakub Dec 3, 2024
b9eb957
onError methods
MinionJakub Dec 3, 2024
88ee81d
correcting test for names changes
MinionJakub Dec 3, 2024
6727f66
little change
MinionJakub Dec 3, 2024
e462f83
Merge branch 'fram-lang:master' into master
MinionJakub Dec 16, 2024
9ade649
Small changes
MinionJakub Feb 20, 2025
2904ee7
Adding comments
MinionJakub Feb 20, 2025
9dc0c0c
Merge branch 'fram-lang:master' into master
MinionJakub Feb 20, 2025
7469061
Some (hopefully) final changes
Foxinio Mar 12, 2025
c4675a9
Replacing '\t' with ' '
Foxinio Mar 12, 2025
cd894b1
Final touches before merge by Foxinio
MinionJakub Mar 13, 2025
8f31eb6
Fix file permissions
forell Mar 25, 2025
ec465d9
Merge branch 'fram-lang:master' into master
MinionJakub Apr 3, 2025
394a919
Correction due to change in syntax
MinionJakub Apr 4, 2025
dd86d99
Merge branch 'fram-lang:master' into master
MinionJakub Jun 30, 2025
5450ed1
Correcting small mistakes and adding some longly requested papers and…
MinionJakub Jul 3, 2025
f9ccbf0
Merge branch 'fram-lang:master' into master
MinionJakub Jul 6, 2025
b447f1e
Merge branch 'fram-lang:master' into master
MinionJakub Oct 23, 2025
2549f93
Changing to incremental changes - for now queues + red-black tree
MinionJakub Oct 23, 2025
da11171
Merge branch 'master' into master
MinionJakub Oct 27, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions lib/Base/Types.fram
Original file line number Diff line number Diff line change
Expand Up @@ -9,3 +9,6 @@ pub data rec List A = [] | (::) of A, List A
pub data Pair X Y = (,) of X, Y

pub data Either X Y = Left of X | Right of Y

pub data Ordered = Lt | Eq | Gt

Loading