A Flutter web websocket client for Project-M36.
It’s also an attempt to bring algebraic datatypes into the Dart land.
git clonethe repo.
flutter pub get
flutter pub run build_runner buildto generate extra source codes. Here freezed is used to represent ADTs.
flutter -d web-server(I failed to use
flutter -d chromein my nixos.)
DataTablecan’t have a flexible row height. So
RelationAtomcan’t be well displayed by
DataTable. Right now, it just show as a thumbnail. There is a way to fix it by adjusting the
DataTable, but I can’t find a way to edit flutter source code in nixos.
Getting Started With Flutter
This project is a starting point for a Flutter application.
A few resources to get you started if this is your first Flutter project:
For help getting started with Flutter, view our
online documentation, which offers tutorials,
samples, guidance on mobile development, and a full API reference.