Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Foxinio
/
dbl
Public
forked from
fram-lang/dbl
Notifications
You must be signed in to change notification settings
Fork
0
Star
1
Code
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Projects
Security and quality
Insights
Commits
Branch selector
pr-136
User selector
All users
Datepicker
All time
Commit history
Commits on Mar 12, 2025
Replacing '\t' with ' '
Foxinio
committed
c4675a9
View commit details
Copy full SHA for c4675a9
Browse repository at this point
Some (hopefully) final changes
Foxinio
committed
7469061
View commit details
Copy full SHA for 7469061
Browse repository at this point
Commits on Feb 20, 2025
Merge branch 'fram-lang:master' into master
MinionJakub
authored
9dc0c0c
View commit details
Copy full SHA for 9dc0c0c
Browse repository at this point
Adding comments
MinionJakub
committed
2904ee7
View commit details
Copy full SHA for 2904ee7
Browse repository at this point
Small changes
MinionJakub
committed
9ade649
View commit details
Copy full SHA for 9ade649
Browse repository at this point
Commits on Jan 28, 2025
Upgrade to `setup-ocaml@v3`
Show description for 4b7621e
forell
committed
4b7621e
View commit details
Copy full SHA for 4b7621e
Browse repository at this point
Commits on Jan 21, 2025
Line directives for the lexer (#172)
Show description for 9a2c623
ppolesiuk
authored
9a2c623
View commit details
Copy full SHA for 9a2c623
Browse repository at this point
Commits on Dec 20, 2024
Mutable references and arrays (#126)
Show description for f5eb1fa
ppolesiuk
and
forell
authored
f5eb1fa
View commit details
Copy full SHA for f5eb1fa
Browse repository at this point
Commits on Dec 16, 2024
Merge branch 'fram-lang:master' into master
MinionJakub
authored
e462f83
View commit details
Copy full SHA for e462f83
Browse repository at this point
Commits on Dec 15, 2024
Assertions and irrecoverable runtime errors (#158)
Show description for b88e893
ppolesiuk
and
forell
authored
b88e893
View commit details
Copy full SHA for b88e893
Browse repository at this point
New implementation of block commets (#168)
Show description for 836d7bf
ppolesiuk
authored
836d7bf
View commit details
Copy full SHA for 836d7bf
Browse repository at this point
Commits on Dec 11, 2024
changed comment syntax as requested (#164)
Show description for e5220f6
dominik-muc
and
ppolesiuk
authored
e5220f6
View commit details
Copy full SHA for e5220f6
Browse repository at this point
Disallow '~' and '?' operators (#163)
Show description for c646592
fatmage
authored
c646592
View commit details
Copy full SHA for c646592
Browse repository at this point
Commits on Dec 3, 2024
little change
MinionJakub
committed
6727f66
View commit details
Copy full SHA for 6727f66
Browse repository at this point
correcting test for names changes
MinionJakub
committed
88ee81d
View commit details
Copy full SHA for 88ee81d
Browse repository at this point
onError methods
MinionJakub
committed
b9eb957
View commit details
Copy full SHA for b9eb957
Browse repository at this point
Moving things from Ord and adding fromList and toList to Queue
MinionJakub
committed
c44f26c
View commit details
Copy full SHA for c44f26c
Browse repository at this point
Commits on Nov 30, 2024
little changes
MinionJakub
committed
a3f0b7b
View commit details
Copy full SHA for a3f0b7b
Browse repository at this point
Commits on Nov 28, 2024
Changing tests and adding assert to prelude
MinionJakub
committed
bb826df
View commit details
Copy full SHA for bb826df
Browse repository at this point
Correcting a lot of things mainly coding style
MinionJakub
committed
7bb419d
View commit details
Copy full SHA for 7bb419d
Browse repository at this point
Merge branch 'fram-lang:master' into master
MinionJakub
authored
9aa2f4a
View commit details
Copy full SHA for 9aa2f4a
Browse repository at this point
Commits on Nov 27, 2024
Documentation of the internal Core type checker. (#159)
ppolesiuk
authored
9789161
View commit details
Copy full SHA for 9789161
Browse repository at this point
Commits on Nov 26, 2024
Changes to rec records (#160)
Show description for 67e5f34
Foxinio
authored
67e5f34
View commit details
Copy full SHA for 67e5f34
Browse repository at this point
Commits on Nov 22, 2024
fix int to int64 conversion and vice versa (#155)
fatmage
authored
f54c429
View commit details
Copy full SHA for f54c429
Browse repository at this point
Commits on Nov 20, 2024
Correcting style and renaming few things
MinionJakub
committed
8584322
View commit details
Copy full SHA for 8584322
Browse repository at this point
Commits on Nov 19, 2024
Pure pattern-matching (#152)
Show description for 556a62c
ppolesiuk
authored
556a62c
View commit details
Copy full SHA for 556a62c
Browse repository at this point
Commits on Oct 29, 2024
Changing from [E] in [|E]
MinionJakub
committed
274f324
View commit details
Copy full SHA for 274f324
Browse repository at this point
Correcting definitions
MinionJakub
committed
eb36254
View commit details
Copy full SHA for eb36254
Browse repository at this point
Commits on Oct 25, 2024
Change implicits syntax to tilde (#146)
Show description for 0bc7423
Florian3k
authored
0bc7423
View commit details
Copy full SHA for 0bc7423
Browse repository at this point
Commits on Oct 23, 2024
Change '/bin/bash' to '/usr/bin/env bash' in test scripts (#148)
Brychlikov
authored
f3bab2b
View commit details
Copy full SHA for f3bab2b
Browse repository at this point
Commits on Sep 27, 2024
Return and finally clauses in first class handlers (#141)
Show description for bc226d0
ppolesiuk
authored
bc226d0
View commit details
Copy full SHA for bc226d0
Browse repository at this point
Commits on Sep 1, 2024
Adding flag to disable printing of error context (#144)
Show description for 06677a7
Foxinio
authored
06677a7
View commit details
Copy full SHA for 06677a7
Browse repository at this point
Commits on Aug 28, 2024
Optional params (#122)
Show description for b1ede69
3 people
authored
b1ede69
View commit details
Copy full SHA for b1ede69
Browse repository at this point
Commits on Aug 15, 2024
Correcting a test file
MinionJakub
authored
5b3cd88
View commit details
Copy full SHA for 5b3cd88
Browse repository at this point
Commits on Aug 14, 2024
Merge branch 'fram-lang:master' into master
MinionJakub
authored
ce31a6d
View commit details
Copy full SHA for ce31a6d
Browse repository at this point
Previous
Next
You can’t perform that action at this time.