Skip to content

Activity

Deleted branch

henriquecbussdeleted enhancement/add-ci-tests • 
on Oct 10, 2023

Deleted branch

henriquecbussdeleted feature/parsing • 
on Oct 10, 2023

Deleted branch

henriquecbussdeleted feature/typechecking • 
on Oct 10, 2023

Deleted branch

henriquecbussdeleted feature/emit • 
on Oct 10, 2023

Deleted branch

henriquecbussdeleted feature/cli • 
on Oct 10, 2023

Deleted branch

Deleted branch

henriquecbussdeleted feature/web-server • 
on Oct 10, 2023

Include dissertation repo link in README.md

henriquecbusspushed 1 commit to main • 8d40016…1879b2b • 
on Jun 12, 2023

Merge pull request #12 from henriquecbuss/feature/web-server

Pull request merge
henriquecbusspushed 52 commits to main • 86c86be…8d40016 • 
on Jun 12, 2023

Recreate stack.yaml

henriquecbusspushed 1 commit to feature/web-server • a2295fd…66383f1 • 
on Jun 12, 2023

Build example application in Ipe! 🎉

henriquecbusspushed 1 commit to feature/web-server • 41252b9…a2295fd • 
on Jun 12, 2023

Add more prelude bits

Force push
henriquecbussforce pushed to feature/web-server • 08f848e…41252b9 • 
on Jun 12, 2023

Add more prelude bits

henriquecbusspushed 1 commit to feature/web-server • 2ee49c7…08f848e • 
on Jun 12, 2023

Add List module

henriquecbusspushed 1 commit to feature/web-server • 2c55a16…2ee49c7 • 
on Jun 12, 2023

Add Dict.map and Dict.toList

henriquecbusspushed 1 commit to feature/web-server • a0a583f…2c55a16 • 
on Jun 12, 2023

Return dict after inserting

henriquecbusspushed 1 commit to feature/web-server • a93fbae…a0a583f • 
on Jun 12, 2023

Add Result type in initialState

henriquecbusspushed 2 commits to feature/web-server • 3f2b977…a93fbae • 
on Jun 12, 2023

Add Json.Decode.field

henriquecbusspushed 1 commit to feature/web-server • 7ea5594…3f2b977 • 
on Jun 12, 2023

Add some @ts-checks

henriquecbusspushed 5 commits to feature/web-server • dde92b3…7ea5594 • 
on Jun 12, 2023

Add Http. prefix to method

henriquecbusspushed 8 commits to feature/web-server • a06e606…dde92b3 • 
on Jun 12, 2023

Update shtuff

henriquecbusspushed 1 commit to feature/web-server • bc3aa16…a06e606 • 
on Jun 11, 2023

Add types for Http module

henriquecbusspushed 2 commits to feature/web-server • f56415d…bc3aa16 • 
on May 21, 2023

Use Console as an example in Root.ipe

henriquecbusspushed 2 commits to feature/web-server • 5474fb9…f56415d • 
on May 21, 2023

Add console to prelude

henriquecbusspushed 1 commit to feature/web-server • f24c233…5474fb9 • 
on May 21, 2023

Export console functions

henriquecbusspushed 1 commit to feature/web-server • ee16d95…f24c233 • 
on May 21, 2023

Add Ipe.Prelude.Console

henriquecbusspushed 2 commits to feature/web-server • 0371be3…ee16d95 • 
on May 21, 2023

Create initial Http.ipe.js module

henriquecbusspushed 3 commits to feature/web-server • 0ce400d…0371be3 • 
on May 21, 2023

Correctly emit imported functionCallOrValues

henriquecbusspushed 1 commit to feature/web-server • 222cb5b…0ce400d • 
on May 15, 2023

Better implementation for registerAllModules

henriquecbusspushed 1 commit to feature/web-server • 09f5216…222cb5b • 
on May 15, 2023

Add Json.ipe.js

henriquecbusspushed 1 commit to feature/web-server • d395c61…09f5216 • 
on May 15, 2023