vegowotenks vegowotenks · er/ihm
1 follower · 2 following
  • Joined on 2024-09-06
Repositories
22
 Projects Packages Public activity Starred repositories
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-18 20:33:37 +02:00
5ccb477a50 fix[test]: Don't test read/show instances for more than a second
c87cbb5405 feat[stack]: dependency juggling
c78ed4ac90 feat[core]: Function Property: Argument modification
Compare 3 commits »
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-15 18:01:10 +02:00
a38a20a546 doc[core/expression]: constructor fields
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-15 13:09:08 +02:00
fa8d508e84 doc[core]: remove old read/show examples
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-15 13:08:11 +02:00
6a28e97987 doc[core]: remove old read/show examples
ca8d84fe5f feat[core]: datatypes in modules
ebe94e2d9b feat[core]: Algebraic Data Types
3847e1e81e doc[core]
b7e579dc20 fix[core]: remove redundant imports
Compare 5 commits »
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-15 10:28:26 +02:00
36ae4dd5e0 feat[dev]: import Prelude
390308e9d7 fix[test]: don't take one minute for two tests
Compare 2 commits »
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-15 09:59:57 +02:00
c02f1b292b feat[core]: Expressions and Patterns
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-15 08:43:00 +02:00
45c02e7e54 refactor[core]: Ast module is now Core
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-14 14:44:36 +02:00
13c3e4d007 feat[compiler]: Compile to bytecode
f9ea61d348 feat[bytecode]: A lot of scaffolding for setup
766528677f feat[tests]: Use tasty for hierarchical tests
0d8470a87f fix[doc]: Move import to the right place
c20de441de feat: Export fromList for ImplicitMap
Compare 5 commits »
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-14 09:39:49 +02:00
05397334ed hack[tests]: Disable the specialization warnings
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-14 09:31:32 +02:00
851da6e469 fix[tests]: Safe Haskell Mode
6821c4efda feat[test]: run the tests
60762c3493 feat[test]: roundtrips, test for read <-> show
8181113bfe feat: instances for Arbitrary
Compare 4 commits »
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-12 15:11:56 +02:00
13a2577ae2 doc: Readme
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-12 15:11:19 +02:00
fc09534e6a doc: Readme
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-12 14:51:58 +02:00
14104da125 feat: Read and show for Language.Scalie.Ast.Module
9336a88cb9 feat: prettied up ImplicitMap show and read
d38c30e318 fix: read ImplicitMap lawfully
Compare 3 commits »
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-12 14:23:12 +02:00
fd715d99e0 feat: Read and Show for all the types
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-12 10:21:06 +02:00
bf525c2dfd feat: Ability to specify integer definitions
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-12 10:14:53 +02:00
76970d7f9a feat: Ability to specify integer definitions
vegowotenks created branch trunk in vegowotenks/scalie 2025-08-11 16:12:09 +02:00
vegowotenks pushed to trunk at vegowotenks/scalie 2025-08-11 16:12:09 +02:00
4bd766027f Enable some defaults (Safe, NoImplicitPrelude)
6ebbb483f5 stack project setup
vegowotenks created repository vegowotenks/scalie 2025-08-11 16:11:33 +02:00
vegowotenks created branch trunk in vegowotenks/hase 2025-07-31 23:50:10 +02:00