Commits · 028bd765148fd9764430ee71eeafd8d90608228a · github.com / mosteo / optional

Jun 25, 2021
- Removed Ada.Indefinite_Holders · 028bd765
  Alejandro R. Mosteo authored Jun 25, 2021
```
Still causing mysterious exceptions on finalization
```
  028bd765
Jun 24, 2021
- Remove unnecessary taggedness · a0ad4fba
  Alejandro R. Mosteo authored Jun 24, 2021
  
  a0ad4fba
Jun 22, 2021
- Added Is_Empty operation · f6fe9bf3
  Alejandro R. Mosteo authored Jun 21, 2021
  
  f6fe9bf3
Jun 14, 2021
- Fix forward declarations · eb929e67
  Alejandro R. Mosteo authored Jun 14, 2021
  
  eb929e67
May 20, 2021
- Comparison operators · 30aaee65
  Alejandro R. Mosteo authored May 19, 2021
  
  30aaee65
- Minor typo fix · aac96f9b
  Alejandro R. Mosteo authored May 19, 2021
  
  aac96f9b
May 19, 2021
- Towards 0.1 · 02aa2475
  Alejandro R. Mosteo authored May 19, 2021
  
  02aa2475
Mar 02, 2021
- Code reorganization · f3b855d2
  Alejandro R. Mosteo authored Mar 02, 2021
  
  f3b855d2
- References as tagged types · 9ee1fd00
  Alejandro R. Mosteo authored Mar 02, 2021
  
  9ee1fd00
- Merge branch 'main' of github.com:mosteo/optional into main · 9ff8b49f
  Alejandro R. Mosteo authored Mar 02, 2021
  
  9ff8b49f
- Initial import · 75565d99
  Alejandro R. Mosteo authored Mar 02, 2021
  
  75565d99
- Initial commit · 4dd785b4
  Alejandro R Mosteo authored Mar 02, 2021
  
  4dd785b4